A set of logical statements or principles in a formal system that are derived without further assumptions.

एक औपचारिक प्रणाली में तार्किक कथनों या सिद्धांतों का एक समूह जो बिना अतिरिक्त समीकरणों के लिया गया हो।

English Usage: The first order theory plays a crucial role in mathematical logic.

Hindi Usage: मुख्य स्तर का सिद्धांत गणितीय तर्क में महत्वपूर्ण भूमिका निभाता है।